interdeducible

1) равные дедуктивно

2) взаимно выводимый
3) дедуктивно равный
– interdeducible formulas